H ? « ‹ ← → › »

Language peer sets for BNR Prolog:
Canada↑
Canada/1985↑
Designed 1985 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑
Genus Horn clause ↑
String and List Processing ↑
Horn clause↑
Context-based ↑
Data representation ↑
Horn clause/1985↑
Context-based /1985↑
Data representation/1985↑
Horn clause/Canada↑
Context-based /Canada↑
Data representation/Canada↑
String and List Processing ↑
String and List Processing/1985↑
String and List Processing/ca ↑

BNR Prolog(ID:1866/bnr002)

alternate simple view
Country: Canada
Designed 1985
Genus: Horn clause
Sammet category: String and List Processing

for Bell Northern Research Prolog

Constraint logic.
Related languages
Prolog → BNR Prolog   Evolution of
References:
  • Older, William J. (1990) Older, William J. ; André Vellino: Extending Prolog with Constraint Arithmetic on Real Intervals. Proceedings of the Canadian Conference on Electric and Computer Engineering 1990
  • Older, William J. (1991) Older, William J. ; André Vellino: Constraint Arithmetic on Real Intervals. WCLP 1991: 175-195
  • Older, William J. (1992) Older, William J. ; John A. Rummell: An Incremental Garbage Collector for WAM-Based Prolog. JICSLP 1992: 369-383
  • Frédéric Benhamou, William J. (1993) Frédéric Benhamou, William J. Older, André Vellino: Constraint Logic Programming on Boolean, Integer and Real Intervalls. Accepted for publication in Journal of Symbolic Computation
  • Older, William J. (1993) Older, William J. ; Frédéric Benhamou: Programming in CLP(BNR). PPCP 1993: 228-238 Abstract Extract: Introduction
  • Vellino, Andre; Peacocke, Dick (1993) Vellino, Andre; Peacocke, Dick "An Introduction to Prolog And BNR Prolog" Bell-Northern Research, Computing Research Laboratory, Computing Research Laboratory: June 2, 1993 Extract: A Brief History of BNR Prolog
  • Older, William J. (1994) Older, William J. ; Application of Relational Interval Arithmetic to Ordinary Differential Equations. August 1994
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder